On the Logic of the Ontological Argument∗ Paul E. Oppenheimer Thinking Machines Corporation and Edward N. Zalta Philosophy Department

Source URL: www.peoppenheimer.org

• Logic
• Mathematical logic
• Model theory
• Philosophy of language
• Predicate logic
• Arguments for the existence of God
• First-order logic
• Ontological argument
• Definite description
• Interpretation
• Atomic formula
• Constructible universe

PHYSICAL REVIEW E, VOLUME 65, Fracture in mode I using a conserved phase-field model L. O. Eastgate, J. P. Sethna, M. Rauscher, and T. Cretegny Laboratory of Atomic and Solid State Physics, Cornell University, It

Source URL: cbsu.tc.cornell.edu

Anytime Inference in Probabilistic Logic Programs with TP -Compilation Jonas Vlasselaer, Guy Van den Broeck, Angelika Kimmig, Wannes Meert, Luc De Raedt Department of Computer Science KU Leuven, Belgium firstname.lastnam

Source URL: lirias.kuleuven.be

• Model theory
• Predicate logic
• Markov logic network
• Rules of inference
• Probabilistic logic
• Stable model semantics
• Resolution
• First-order logic
• Atomic formula
• Propositional calculus
• FO
• Inference

A Framework for Transactional Consistency Models with Atomic Visibility Andrea Cerone, Giovanni Bernardi, and Alexey Gotsman IMDEA Software Institute, Madrid, Spain Abstract

Source URL: software.imdea.org

• Transaction processing
• Computing
• Data management
• Data
• Schedule
• Consistency model
• Readwrite conflict
• Writeread conflict
• Snapshot isolation
• Isolation
• Database transaction
• Replication

Diagrams Definition A literal is an atomic sentence or the negation of an atomic sentence. If M is a model in a language L, then the collection of LM -literals true in M is called the diagram of M and written Diag(M). Th

Source URL: staff.fnwi.uva.nl

Microsoft Word - U005_ucadia_hydro_helio_model_description_v1.doc

Source URL: ucadia.s3.amazonaws.com

• Nuclear physics
• Chemical element
• Periodic table
• Atomic number
• Hydrogen
• Electron
• Atomic mass
• Radioactive decay
• Matter
• Chemistry
• Physics
• Chemical properties

FOUNDATIONS OF DENSITY-FUNCTIONAL THEORY J. Hafner ¨ Materialphysik and Center for Computational Material Institut fur

Source URL: cms.mpi.univie.ac.at

• Chemistry
• Atomic physics
• Kohn–Sham equations
• Calculus of variations
• Local-density approximation
• Wave function
• Thomas–Fermi model
• Computational chemistry
• Theoretical chemistry
• Physics
• Density functional theory
• Quantum mechanics

LETTER doi:nature11079 Atomic model of the type III secretion system needle Antoine Loquet1*, Nikolaos G. Sgourakis2*, Rashmi Gupta3*, Karin Giller1*, Dietmar Riedel4, Christian Goosmann5,

Source URL: www.bakerlab.org

Published in Proceedings of the 17th IEEE Computer Security Foundations Workshop, 2004, pages 236–250. By Reason and Authority: A System for Authorization of Proof-Carrying Code Nathan Whitehead Department of Computer

Source URL: www.cs.berkeley.edu

• Model theory
• Formal methods
• Propositional calculus
• Predicate logic
• Function
• Lambda calculus
• Forcing
• Well-formed formula
• Atomic formula
• Logic
• Mathematical logic
• Mathematics

VILEN MITROFANOVICH STRUTINSKY’S IMPACT ON NUCLEAR AND MANY PARTICLE PHYSICS M. Brack Institute for Theoretical Physics, University of Regensburg, Regensburg, Germany This paper is dedicated to the memory of Vilen Mitr

Source URL: www.kinr.kiev.ua

• Radioactivity
• Atomic physics
• Nuclear fission
• Quantum chaos
• Nuclear shell model
• Nuclear force
• Nuclear structure
• Nuclear binding energy
• Semi-empirical mass formula
• Physics
• Nuclear physics
• Nuclear chemistry